Two counterexamples in abstract factorization
نویسندگان
چکیده
منابع مشابه
Abstract Counterexamples for Non-disjunctive Abstractions
Counterexamples for Non-disjunctive
متن کاملGenerating Abstract Explanations of Spurious Counterexamples in C Programs
Counterexample driven re nement is a promising technique to generate automatic abstractions for model checking software. A central problem in automating this approach is the re nement of models from spurious error traces. We present a solution to this problem for C programs. Our solution introduces compile time names for run time values, and handles all constructs in the C programming language....
متن کاملTwo Counterexamples in Low-dimensional Length Geometry
One of the key properties of the length of a curve is its lower semicontinuity : if a sequence of curves γi converges to a curve γ, then length(γ) ≤ lim inf length(γi). Here the weakest type of pointwise convergence suffices. There are higher-dimensional analogs of this semicontinuity for Riemannian (and even Finsler) metrics. For instance, the Besicovitch inequality (see, e.g., [1] and [4]) im...
متن کاملTwo counterexamples on completely independent spanning trees
For each k ≥ 2, we construct a k-connected graph which does not contain two completely independent spanning trees. This disproves a conjecture of Hasunuma. Furthermore, we also give an example for a 3-connected maximal plane graph not containing two completely independent spanning trees.
متن کاملCOUNTEREXAMPLES IN CHAOTIC GENERALIZED SHIFTS
In the following text for arbitrary $X$ with at least two elements, nonempty countable set $Gamma$ we make a comparative study on the collection of generalized shift dynamical systems like $(X^Gamma,sigma_varphi)$ where $varphi:GammatoGamma$ is an arbitrary self-map. We pay attention to sub-systems and combinations of generalized shifts with counterexamples regarding Devaney, exact Dev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 2014
ISSN: 0035-7596
DOI: 10.1216/rmj-2014-44-1-139